Evaluation dynamique et clôture algébrique en axiom

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Geometrie Et Dynamique En Robotique

Le but de cet exposé est de relater les liens entre dynamique et géométrie. Les systèmes abordés relèvent de la robotique et nous verrons qu’en ce domaine, la quête de mécanismes de plus en plus sophistiqués, et de leur modèles dynamiques associés, se traduit par la complexification des structures géométriques qu’ils impliquent. Le point de vue adopté est celui du calcul des variations de type ...

متن کامل

Statistique et dynamique des membranes complexes

Lipid bilayers, which form the basis of biological membranes, are self-assembled structures that belong to the field of soft matter. They feature very rich physical properties. While each of the two monolayers of the membrane is a two-dimensional fluid, the membrane resists bending and stretching: it is elastic. Biological membranes are composed of different lipid species and contain various in...

متن کامل

Fontes intelligentes, textèmes et typographie dynamique

The digital text representation model used by the industry today is the model proposed by the Unicode standard. This model, based on the concepts of character and glyph, provides the foundations for the so-called smart font technologies such as AAT, OpenType and Graphite. Using a formal description of Unicode’s text model, the authors compare the three said font formats, especially regarding pa...

متن کامل

Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités

RÉSUMÉ.Dans cet article, nous présentons un cadre générique, graphique et algébrique, permettant de représenter et de manipuler des problèmes de décision séquentielle incluant incertitudes, faisabilités et utilités. Ce cadre, dénommé PFU pour Plausibilités, Faisabilités et Utilités, généralise de nombreux cadres proposés dans le domaine de l’Intelligence Artificielle : problèmes de satisfiabili...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 1995

ISSN: 0022-4049

DOI: 10.1016/0022-4049(94)00053-l